Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
101	Dynamic Inference of Abstract Types Philip J. Guo Jeff H. Perkins Stephen McCamant Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Software engineering Computing Data types Programming language theory Type theory Type system Array data type Scala Abstract data type Variable Type inference HindleyMilner type system
102	Type the Title Here using Upper and Lower Case First Name (only Initials). Last Name, co-authors (Type your authors and affiliations here) Affiliation, Address, Country (Make certain you underline the presenting author Add to Reading List Source URL: nn08.physics.auth.gr Language: English - Date: 2008-02-11 14:33:23 Academic publishing Publishing Academia Public sphere Abstract Ellipsis Author citation Knowledge
103	AUTHOR GUIDELINES FOR IGARSS 2011 PROCEEDINGS MANUSCRIPTS Author(s) Name(s) Author Affiliation(s) ABSTRACT 4. TYPE-STYLE AND FONTS Add to Reading List Source URL: www.cmsworldwide.com Language: English - Date: 2011-04-18 11:12:25 Publishing Public sphere Language Typesetting Abstract Academic publishing Screenplay Column TeX Newline
104	A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-08-25 14:30:22 Software engineering Computer programming Declarative programming Type theory Functional programming Procedural programming languages Data types Object-oriented programming Monad ALGOL 68 Polymorphism Abstract type
105	417 Doc. Math. J. DMV Calabi-Yau Threefolds of Quasi-Product Type Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2014-07-13 07:29:17 Algebraic geometry Geometry Abstract algebra Algebraic surfaces Algebraic varieties String theory Complex manifolds K3 surface Abelian variety Algebraic curve Projective variety Elliptic surface
106	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
107	Modelling Unique and Affine Typing using Polymorphism Edsko de Vries Abstract. Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared, Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Data types Software engineering Object-oriented programming Computing Polymorphism Functional programming Type system Subtyping Symbol Uniqueness type
108	The SBL Greek New Testament Papers from the 2011 SBL Panel Review Session Michael Holmes, David Parker, Harold Attridge, and Klaus Wachtel Abstract: The 2011 SBL meeting in San Francisco included a panel review session o Add to Reading List Source URL: rosetta.reltech.org Language: English - Date: 2012-11-15 04:49:50 Textual criticism Textual scholarship Greek New Testament Bible Biblical criticism Novum Testamentum Graece Westcott-Hort SBL Greek New Testament Textus Receptus Byzantine text-type Editio Critica Maior Critical apparatus
109	527 Documenta Math. Semigroup Properties for the Second Fundamental Form Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-08-26 14:51:45 Algebra Abstract algebra Mathematics Operator theory Semigroup theory Semigroup Harmonic analysis Beltrami equation Singular integral operators of convolution type
110	An Application to the NASA Postdoctoral Program Applicant Name: Type you Full Name here Title: Enter your Title Abstract Add to Reading List Source URL: npp.usra.edu Language: English - Date: 2016-01-11 10:20:17 Educational psychology Information science Abstract Academic publishing Publishing Research Relevance Problem solving Science Citation

UPDATE